1. Computations in higher types
پدیدآورنده : Moldestad, Johan
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Recursive functions
رده :
QA
3
.
L28
no
.
574
2. Computations in higher types
پدیدآورنده : Moldestad, Johan
موضوع : ، Recursive functions
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
3. Computations in higher types,Lecture notes in mathematics
پدیدآورنده : Moldestad, Johan,6491-,Johan Moldestad
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Recursive functions
رده :
QA
3
.
M6C6
1977